(define (problem pfile23)
(:domain TPP-Metric)
(:objects
	market1 market2 market3 market4 market5 market6 market7 market8 market9 market10 market11 market12 market13 market14 market15 market16 market17 market18 market19 market20 market21 market22 market23 market24 market25 - market
	depot0 - depot
	truck0 - truck
	goods0 goods1 goods2 goods3 goods4 goods5 goods6 goods7 goods8 goods9 goods10 goods11 goods12 goods13 goods14 goods15 goods16 goods17 goods18 goods19 goods20 goods21 goods22 - goods)
(:init
	(= (price goods0 market1) 25)
	(= (on-sale goods0 market1) 6)
	(= (price goods1 market1) 36)
	(= (on-sale goods1 market1) 5)
	(= (price goods2 market1) 2)
	(= (on-sale goods2 market1) 5)
	(= (price goods10 market1) 5)
	(= (on-sale goods10 market1) 17)
	(= (price goods16 market1) 3)
	(= (on-sale goods16 market1) 18)
	(= (price goods17 market1) 36)
	(= (on-sale goods17 market1) 9)
	(= (price goods18 market1) 33)
	(= (on-sale goods18 market1) 11)
	(= (price goods20 market1) 1)
	(= (on-sale goods20 market1) 4)
	(= (on-sale goods3 market1) 0)
	(= (on-sale goods4 market1) 0)
	(= (on-sale goods5 market1) 0)
	(= (on-sale goods6 market1) 0)
	(= (on-sale goods7 market1) 0)
	(= (on-sale goods8 market1) 0)
	(= (on-sale goods9 market1) 0)
	(= (on-sale goods11 market1) 0)
	(= (on-sale goods12 market1) 0)
	(= (on-sale goods13 market1) 0)
	(= (on-sale goods14 market1) 0)
	(= (on-sale goods15 market1) 0)
	(= (on-sale goods19 market1) 0)
	(= (on-sale goods21 market1) 0)
	(= (on-sale goods22 market1) 0)
	(= (price goods0 market2) 31)
	(= (on-sale goods0 market2) 3)
	(= (price goods3 market2) 50)
	(= (on-sale goods3 market2) 16)
	(= (price goods5 market2) 33)
	(= (on-sale goods5 market2) 18)
	(= (price goods6 market2) 37)
	(= (on-sale goods6 market2) 16)
	(= (price goods7 market2) 13)
	(= (on-sale goods7 market2) 20)
	(= (price goods8 market2) 14)
	(= (on-sale goods8 market2) 14)
	(= (price goods10 market2) 50)
	(= (on-sale goods10 market2) 1)
	(= (price goods11 market2) 28)
	(= (on-sale goods11 market2) 1)
	(= (price goods13 market2) 49)
	(= (on-sale goods13 market2) 2)
	(= (price goods14 market2) 30)
	(= (on-sale goods14 market2) 16)
	(= (price goods16 market2) 37)
	(= (on-sale goods16 market2) 15)
	(= (price goods17 market2) 43)
	(= (on-sale goods17 market2) 20)
	(= (price goods19 market2) 35)
	(= (on-sale goods19 market2) 10)
	(= (price goods21 market2) 16)
	(= (on-sale goods21 market2) 4)
	(= (on-sale goods1 market2) 0)
	(= (on-sale goods2 market2) 0)
	(= (on-sale goods4 market2) 0)
	(= (on-sale goods9 market2) 0)
	(= (on-sale goods12 market2) 0)
	(= (on-sale goods15 market2) 0)
	(= (on-sale goods18 market2) 0)
	(= (on-sale goods20 market2) 0)
	(= (on-sale goods22 market2) 0)
	(= (price goods1 market3) 22)
	(= (on-sale goods1 market3) 4)
	(= (price goods2 market3) 11)
	(= (on-sale goods2 market3) 20)
	(= (price goods3 market3) 1)
	(= (on-sale goods3 market3) 20)
	(= (price goods4 market3) 6)
	(= (on-sale goods4 market3) 14)
	(= (price goods7 market3) 35)
	(= (on-sale goods7 market3) 12)
	(= (price goods10 market3) 3)
	(= (on-sale goods10 market3) 20)
	(= (price goods11 market3) 49)
	(= (on-sale goods11 market3) 1)
	(= (price goods13 market3) 15)
	(= (on-sale goods13 market3) 3)
	(= (price goods14 market3) 48)
	(= (on-sale goods14 market3) 11)
	(= (price goods15 market3) 23)
	(= (on-sale goods15 market3) 12)
	(= (price goods17 market3) 3)
	(= (on-sale goods17 market3) 1)
	(= (price goods18 market3) 50)
	(= (on-sale goods18 market3) 17)
	(= (price goods19 market3) 27)
	(= (on-sale goods19 market3) 18)
	(= (price goods21 market3) 7)
	(= (on-sale goods21 market3) 14)
	(= (price goods22 market3) 37)
	(= (on-sale goods22 market3) 19)
	(= (on-sale goods0 market3) 0)
	(= (on-sale goods5 market3) 0)
	(= (on-sale goods6 market3) 0)
	(= (on-sale goods8 market3) 0)
	(= (on-sale goods9 market3) 0)
	(= (on-sale goods12 market3) 0)
	(= (on-sale goods16 market3) 0)
	(= (on-sale goods20 market3) 0)
	(= (price goods0 market4) 12)
	(= (on-sale goods0 market4) 2)
	(= (price goods1 market4) 9)
	(= (on-sale goods1 market4) 6)
	(= (price goods4 market4) 17)
	(= (on-sale goods4 market4) 3)
	(= (price goods5 market4) 13)
	(= (on-sale goods5 market4) 16)
	(= (price goods6 market4) 42)
	(= (on-sale goods6 market4) 15)
	(= (price goods7 market4) 4)
	(= (on-sale goods7 market4) 16)
	(= (price goods8 market4) 25)
	(= (on-sale goods8 market4) 5)
	(= (price goods12 market4) 7)
	(= (on-sale goods12 market4) 8)
	(= (price goods13 market4) 3)
	(= (on-sale goods13 market4) 15)
	(= (price goods14 market4) 2)
	(= (on-sale goods14 market4) 15)
	(= (price goods17 market4) 8)
	(= (on-sale goods17 market4) 19)
	(= (price goods18 market4) 34)
	(= (on-sale goods18 market4) 1)
	(= (price goods19 market4) 40)
	(= (on-sale goods19 market4) 15)
	(= (price goods21 market4) 50)
	(= (on-sale goods21 market4) 1)
	(= (on-sale goods2 market4) 0)
	(= (on-sale goods3 market4) 0)
	(= (on-sale goods9 market4) 0)
	(= (on-sale goods10 market4) 0)
	(= (on-sale goods11 market4) 0)
	(= (on-sale goods15 market4) 0)
	(= (on-sale goods16 market4) 0)
	(= (on-sale goods20 market4) 0)
	(= (on-sale goods22 market4) 0)
	(= (price goods0 market5) 20)
	(= (on-sale goods0 market5) 2)
	(= (price goods3 market5) 8)
	(= (on-sale goods3 market5) 7)
	(= (price goods4 market5) 23)
	(= (on-sale goods4 market5) 8)
	(= (price goods7 market5) 30)
	(= (on-sale goods7 market5) 5)
	(= (price goods8 market5) 8)
	(= (on-sale goods8 market5) 1)
	(= (price goods11 market5) 29)
	(= (on-sale goods11 market5) 8)
	(= (price goods15 market5) 14)
	(= (on-sale goods15 market5) 17)
	(= (price goods16 market5) 12)
	(= (on-sale goods16 market5) 19)
	(= (price goods18 market5) 27)
	(= (on-sale goods18 market5) 1)
	(= (price goods19 market5) 31)
	(= (on-sale goods19 market5) 17)
	(= (price goods20 market5) 10)
	(= (on-sale goods20 market5) 10)
	(= (price goods21 market5) 2)
	(= (on-sale goods21 market5) 8)
	(= (price goods22 market5) 33)
	(= (on-sale goods22 market5) 13)
	(= (on-sale goods1 market5) 0)
	(= (on-sale goods2 market5) 0)
	(= (on-sale goods5 market5) 0)
	(= (on-sale goods6 market5) 0)
	(= (on-sale goods9 market5) 0)
	(= (on-sale goods10 market5) 0)
	(= (on-sale goods12 market5) 0)
	(= (on-sale goods13 market5) 0)
	(= (on-sale goods14 market5) 0)
	(= (on-sale goods17 market5) 0)
	(= (price goods1 market6) 9)
	(= (on-sale goods1 market6) 10)
	(= (price goods2 market6) 30)
	(= (on-sale goods2 market6) 18)
	(= (price goods3 market6) 39)
	(= (on-sale goods3 market6) 3)
	(= (price goods5 market6) 45)
	(= (on-sale goods5 market6) 12)
	(= (price goods6 market6) 41)
	(= (on-sale goods6 market6) 17)
	(= (price goods7 market6) 47)
	(= (on-sale goods7 market6) 19)
	(= (price goods8 market6) 14)
	(= (on-sale goods8 market6) 19)
	(= (price goods9 market6) 3)
	(= (on-sale goods9 market6) 10)
	(= (price goods10 market6) 40)
	(= (on-sale goods10 market6) 6)
	(= (price goods11 market6) 19)
	(= (on-sale goods11 market6) 19)
	(= (price goods13 market6) 27)
	(= (on-sale goods13 market6) 10)
	(= (price goods15 market6) 49)
	(= (on-sale goods15 market6) 9)
	(= (price goods17 market6) 23)
	(= (on-sale goods17 market6) 20)
	(= (price goods18 market6) 31)
	(= (on-sale goods18 market6) 16)
	(= (price goods20 market6) 6)
	(= (on-sale goods20 market6) 15)
	(= (price goods21 market6) 6)
	(= (on-sale goods21 market6) 4)
	(= (on-sale goods0 market6) 0)
	(= (on-sale goods4 market6) 0)
	(= (on-sale goods12 market6) 0)
	(= (on-sale goods14 market6) 0)
	(= (on-sale goods16 market6) 0)
	(= (on-sale goods19 market6) 0)
	(= (on-sale goods22 market6) 0)
	(= (price goods0 market7) 22)
	(= (on-sale goods0 market7) 12)
	(= (price goods3 market7) 7)
	(= (on-sale goods3 market7) 20)
	(= (price goods6 market7) 25)
	(= (on-sale goods6 market7) 12)
	(= (price goods8 market7) 29)
	(= (on-sale goods8 market7) 17)
	(= (price goods9 market7) 29)
	(= (on-sale goods9 market7) 19)
	(= (price goods10 market7) 6)
	(= (on-sale goods10 market7) 12)
	(= (price goods11 market7) 38)
	(= (on-sale goods11 market7) 12)
	(= (price goods14 market7) 9)
	(= (on-sale goods14 market7) 14)
	(= (price goods15 market7) 20)
	(= (on-sale goods15 market7) 14)
	(= (price goods17 market7) 50)
	(= (on-sale goods17 market7) 20)
	(= (price goods18 market7) 38)
	(= (on-sale goods18 market7) 16)
	(= (price goods19 market7) 2)
	(= (on-sale goods19 market7) 19)
	(= (price goods20 market7) 11)
	(= (on-sale goods20 market7) 10)
	(= (price goods22 market7) 39)
	(= (on-sale goods22 market7) 5)
	(= (on-sale goods1 market7) 0)
	(= (on-sale goods2 market7) 0)
	(= (on-sale goods4 market7) 0)
	(= (on-sale goods5 market7) 0)
	(= (on-sale goods7 market7) 0)
	(= (on-sale goods12 market7) 0)
	(= (on-sale goods13 market7) 0)
	(= (on-sale goods16 market7) 0)
	(= (on-sale goods21 market7) 0)
	(= (price goods2 market8) 34)
	(= (on-sale goods2 market8) 5)
	(= (price goods7 market8) 19)
	(= (on-sale goods7 market8) 6)
	(= (price goods9 market8) 18)
	(= (on-sale goods9 market8) 14)
	(= (price goods10 market8) 24)
	(= (on-sale goods10 market8) 19)
	(= (price goods11 market8) 15)
	(= (on-sale goods11 market8) 14)
	(= (price goods12 market8) 9)
	(= (on-sale goods12 market8) 6)
	(= (price goods15 market8) 22)
	(= (on-sale goods15 market8) 11)
	(= (price goods16 market8) 28)
	(= (on-sale goods16 market8) 2)
	(= (price goods17 market8) 13)
	(= (on-sale goods17 market8) 1)
	(= (price goods18 market8) 14)
	(= (on-sale goods18 market8) 17)
	(= (price goods19 market8) 46)
	(= (on-sale goods19 market8) 3)
	(= (price goods21 market8) 42)
	(= (on-sale goods21 market8) 13)
	(= (on-sale goods0 market8) 0)
	(= (on-sale goods1 market8) 0)
	(= (on-sale goods3 market8) 0)
	(= (on-sale goods4 market8) 0)
	(= (on-sale goods5 market8) 0)
	(= (on-sale goods6 market8) 0)
	(= (on-sale goods8 market8) 0)
	(= (on-sale goods13 market8) 0)
	(= (on-sale goods14 market8) 0)
	(= (on-sale goods20 market8) 0)
	(= (on-sale goods22 market8) 0)
	(= (price goods0 market9) 12)
	(= (on-sale goods0 market9) 16)
	(= (price goods1 market9) 18)
	(= (on-sale goods1 market9) 11)
	(= (price goods2 market9) 24)
	(= (on-sale goods2 market9) 14)
	(= (price goods3 market9) 19)
	(= (on-sale goods3 market9) 20)
	(= (price goods4 market9) 25)
	(= (on-sale goods4 market9) 7)
	(= (price goods6 market9) 47)
	(= (on-sale goods6 market9) 9)
	(= (price goods10 market9) 27)
	(= (on-sale goods10 market9) 2)
	(= (price goods12 market9) 1)
	(= (on-sale goods12 market9) 9)
	(= (price goods13 market9) 26)
	(= (on-sale goods13 market9) 17)
	(= (price goods14 market9) 5)
	(= (on-sale goods14 market9) 6)
	(= (price goods15 market9) 7)
	(= (on-sale goods15 market9) 2)
	(= (price goods16 market9) 15)
	(= (on-sale goods16 market9) 19)
	(= (price goods18 market9) 16)
	(= (on-sale goods18 market9) 15)
	(= (price goods19 market9) 28)
	(= (on-sale goods19 market9) 13)
	(= (price goods20 market9) 16)
	(= (on-sale goods20 market9) 16)
	(= (on-sale goods5 market9) 0)
	(= (on-sale goods7 market9) 0)
	(= (on-sale goods8 market9) 0)
	(= (on-sale goods9 market9) 0)
	(= (on-sale goods11 market9) 0)
	(= (on-sale goods17 market9) 0)
	(= (on-sale goods21 market9) 0)
	(= (on-sale goods22 market9) 0)
	(= (price goods0 market10) 3)
	(= (on-sale goods0 market10) 13)
	(= (price goods2 market10) 29)
	(= (on-sale goods2 market10) 6)
	(= (price goods5 market10) 26)
	(= (on-sale goods5 market10) 9)
	(= (price goods8 market10) 41)
	(= (on-sale goods8 market10) 8)
	(= (price goods9 market10) 14)
	(= (on-sale goods9 market10) 8)
	(= (price goods12 market10) 46)
	(= (on-sale goods12 market10) 1)
	(= (price goods17 market10) 8)
	(= (on-sale goods17 market10) 7)
	(= (price goods18 market10) 39)
	(= (on-sale goods18 market10) 7)
	(= (price goods19 market10) 13)
	(= (on-sale goods19 market10) 17)
	(= (price goods21 market10) 18)
	(= (on-sale goods21 market10) 2)
	(= (price goods22 market10) 12)
	(= (on-sale goods22 market10) 2)
	(= (on-sale goods1 market10) 0)
	(= (on-sale goods3 market10) 0)
	(= (on-sale goods4 market10) 0)
	(= (on-sale goods6 market10) 0)
	(= (on-sale goods7 market10) 0)
	(= (on-sale goods10 market10) 0)
	(= (on-sale goods11 market10) 0)
	(= (on-sale goods13 market10) 0)
	(= (on-sale goods14 market10) 0)
	(= (on-sale goods15 market10) 0)
	(= (on-sale goods16 market10) 0)
	(= (on-sale goods20 market10) 0)
	(= (price goods0 market11) 40)
	(= (on-sale goods0 market11) 6)
	(= (price goods2 market11) 33)
	(= (on-sale goods2 market11) 1)
	(= (price goods3 market11) 25)
	(= (on-sale goods3 market11) 1)
	(= (price goods5 market11) 38)
	(= (on-sale goods5 market11) 6)
	(= (price goods7 market11) 26)
	(= (on-sale goods7 market11) 10)
	(= (price goods8 market11) 38)
	(= (on-sale goods8 market11) 10)
	(= (price goods9 market11) 7)
	(= (on-sale goods9 market11) 9)
	(= (price goods11 market11) 49)
	(= (on-sale goods11 market11) 19)
	(= (price goods12 market11) 8)
	(= (on-sale goods12 market11) 9)
	(= (price goods13 market11) 32)
	(= (on-sale goods13 market11) 15)
	(= (price goods17 market11) 45)
	(= (on-sale goods17 market11) 6)
	(= (price goods18 market11) 34)
	(= (on-sale goods18 market11) 17)
	(= (price goods19 market11) 34)
	(= (on-sale goods19 market11) 1)
	(= (on-sale goods1 market11) 0)
	(= (on-sale goods4 market11) 0)
	(= (on-sale goods6 market11) 0)
	(= (on-sale goods10 market11) 0)
	(= (on-sale goods14 market11) 0)
	(= (on-sale goods15 market11) 0)
	(= (on-sale goods16 market11) 0)
	(= (on-sale goods20 market11) 0)
	(= (on-sale goods21 market11) 0)
	(= (on-sale goods22 market11) 0)
	(= (price goods1 market12) 22)
	(= (on-sale goods1 market12) 11)
	(= (price goods2 market12) 41)
	(= (on-sale goods2 market12) 13)
	(= (price goods3 market12) 40)
	(= (on-sale goods3 market12) 16)
	(= (price goods6 market12) 39)
	(= (on-sale goods6 market12) 20)
	(= (price goods7 market12) 6)
	(= (on-sale goods7 market12) 14)
	(= (price goods8 market12) 19)
	(= (on-sale goods8 market12) 9)
	(= (price goods9 market12) 4)
	(= (on-sale goods9 market12) 4)
	(= (price goods10 market12) 10)
	(= (on-sale goods10 market12) 4)
	(= (price goods11 market12) 47)
	(= (on-sale goods11 market12) 20)
	(= (price goods14 market12) 32)
	(= (on-sale goods14 market12) 2)
	(= (price goods16 market12) 50)
	(= (on-sale goods16 market12) 17)
	(= (price goods17 market12) 12)
	(= (on-sale goods17 market12) 10)
	(= (price goods18 market12) 29)
	(= (on-sale goods18 market12) 19)
	(= (price goods19 market12) 9)
	(= (on-sale goods19 market12) 8)
	(= (price goods20 market12) 50)
	(= (on-sale goods20 market12) 6)
	(= (price goods22 market12) 41)
	(= (on-sale goods22 market12) 20)
	(= (on-sale goods0 market12) 0)
	(= (on-sale goods4 market12) 0)
	(= (on-sale goods5 market12) 0)
	(= (on-sale goods12 market12) 0)
	(= (on-sale goods13 market12) 0)
	(= (on-sale goods15 market12) 0)
	(= (on-sale goods21 market12) 0)
	(= (price goods0 market13) 29)
	(= (on-sale goods0 market13) 11)
	(= (price goods1 market13) 14)
	(= (on-sale goods1 market13) 1)
	(= (price goods3 market13) 33)
	(= (on-sale goods3 market13) 10)
	(= (price goods6 market13) 13)
	(= (on-sale goods6 market13) 4)
	(= (price goods7 market13) 40)
	(= (on-sale goods7 market13) 18)
	(= (price goods8 market13) 20)
	(= (on-sale goods8 market13) 2)
	(= (price goods17 market13) 38)
	(= (on-sale goods17 market13) 11)
	(= (price goods19 market13) 28)
	(= (on-sale goods19 market13) 13)
	(= (price goods21 market13) 28)
	(= (on-sale goods21 market13) 7)
	(= (on-sale goods2 market13) 0)
	(= (on-sale goods4 market13) 0)
	(= (on-sale goods5 market13) 0)
	(= (on-sale goods9 market13) 0)
	(= (on-sale goods10 market13) 0)
	(= (on-sale goods11 market13) 0)
	(= (on-sale goods12 market13) 0)
	(= (on-sale goods13 market13) 0)
	(= (on-sale goods14 market13) 0)
	(= (on-sale goods15 market13) 0)
	(= (on-sale goods16 market13) 0)
	(= (on-sale goods18 market13) 0)
	(= (on-sale goods20 market13) 0)
	(= (on-sale goods22 market13) 0)
	(= (price goods4 market14) 36)
	(= (on-sale goods4 market14) 5)
	(= (price goods5 market14) 37)
	(= (on-sale goods5 market14) 16)
	(= (price goods6 market14) 9)
	(= (on-sale goods6 market14) 3)
	(= (price goods7 market14) 32)
	(= (on-sale goods7 market14) 2)
	(= (price goods10 market14) 21)
	(= (on-sale goods10 market14) 6)
	(= (price goods11 market14) 43)
	(= (on-sale goods11 market14) 17)
	(= (price goods14 market14) 6)
	(= (on-sale goods14 market14) 9)
	(= (price goods15 market14) 13)
	(= (on-sale goods15 market14) 8)
	(= (price goods16 market14) 34)
	(= (on-sale goods16 market14) 8)
	(= (price goods18 market14) 46)
	(= (on-sale goods18 market14) 18)
	(= (price goods20 market14) 20)
	(= (on-sale goods20 market14) 13)
	(= (price goods21 market14) 3)
	(= (on-sale goods21 market14) 9)
	(= (price goods22 market14) 1)
	(= (on-sale goods22 market14) 6)
	(= (on-sale goods0 market14) 0)
	(= (on-sale goods1 market14) 0)
	(= (on-sale goods2 market14) 0)
	(= (on-sale goods3 market14) 0)
	(= (on-sale goods8 market14) 0)
	(= (on-sale goods9 market14) 0)
	(= (on-sale goods12 market14) 0)
	(= (on-sale goods13 market14) 0)
	(= (on-sale goods17 market14) 0)
	(= (on-sale goods19 market14) 0)
	(= (price goods0 market15) 29)
	(= (on-sale goods0 market15) 4)
	(= (price goods1 market15) 1)
	(= (on-sale goods1 market15) 19)
	(= (price goods4 market15) 32)
	(= (on-sale goods4 market15) 7)
	(= (price goods5 market15) 30)
	(= (on-sale goods5 market15) 4)
	(= (price goods6 market15) 15)
	(= (on-sale goods6 market15) 1)
	(= (price goods11 market15) 11)
	(= (on-sale goods11 market15) 19)
	(= (price goods14 market15) 40)
	(= (on-sale goods14 market15) 7)
	(= (price goods15 market15) 16)
	(= (on-sale goods15 market15) 1)
	(= (price goods18 market15) 3)
	(= (on-sale goods18 market15) 14)
	(= (price goods19 market15) 18)
	(= (on-sale goods19 market15) 11)
	(= (price goods20 market15) 29)
	(= (on-sale goods20 market15) 15)
	(= (on-sale goods2 market15) 0)
	(= (on-sale goods3 market15) 0)
	(= (on-sale goods7 market15) 0)
	(= (on-sale goods8 market15) 0)
	(= (on-sale goods9 market15) 0)
	(= (on-sale goods10 market15) 0)
	(= (on-sale goods12 market15) 0)
	(= (on-sale goods13 market15) 0)
	(= (on-sale goods16 market15) 0)
	(= (on-sale goods17 market15) 0)
	(= (on-sale goods21 market15) 0)
	(= (on-sale goods22 market15) 0)
	(= (price goods0 market16) 35)
	(= (on-sale goods0 market16) 7)
	(= (price goods5 market16) 30)
	(= (on-sale goods5 market16) 16)
	(= (price goods7 market16) 19)
	(= (on-sale goods7 market16) 8)
	(= (price goods8 market16) 4)
	(= (on-sale goods8 market16) 14)
	(= (price goods9 market16) 19)
	(= (on-sale goods9 market16) 5)
	(= (price goods11 market16) 48)
	(= (on-sale goods11 market16) 16)
	(= (price goods12 market16) 34)
	(= (on-sale goods12 market16) 19)
	(= (price goods14 market16) 6)
	(= (on-sale goods14 market16) 6)
	(= (price goods15 market16) 34)
	(= (on-sale goods15 market16) 4)
	(= (price goods16 market16) 42)
	(= (on-sale goods16 market16) 3)
	(= (price goods17 market16) 38)
	(= (on-sale goods17 market16) 6)
	(= (price goods18 market16) 6)
	(= (on-sale goods18 market16) 13)
	(= (price goods21 market16) 36)
	(= (on-sale goods21 market16) 20)
	(= (price goods22 market16) 45)
	(= (on-sale goods22 market16) 7)
	(= (on-sale goods1 market16) 0)
	(= (on-sale goods2 market16) 0)
	(= (on-sale goods3 market16) 0)
	(= (on-sale goods4 market16) 0)
	(= (on-sale goods6 market16) 0)
	(= (on-sale goods10 market16) 0)
	(= (on-sale goods13 market16) 0)
	(= (on-sale goods19 market16) 0)
	(= (on-sale goods20 market16) 0)
	(= (price goods0 market17) 20)
	(= (on-sale goods0 market17) 2)
	(= (price goods1 market17) 22)
	(= (on-sale goods1 market17) 14)
	(= (price goods3 market17) 40)
	(= (on-sale goods3 market17) 10)
	(= (price goods6 market17) 39)
	(= (on-sale goods6 market17) 15)
	(= (price goods7 market17) 26)
	(= (on-sale goods7 market17) 15)
	(= (price goods8 market17) 40)
	(= (on-sale goods8 market17) 5)
	(= (price goods11 market17) 17)
	(= (on-sale goods11 market17) 11)
	(= (price goods12 market17) 26)
	(= (on-sale goods12 market17) 10)
	(= (price goods16 market17) 24)
	(= (on-sale goods16 market17) 12)
	(= (price goods17 market17) 48)
	(= (on-sale goods17 market17) 20)
	(= (price goods18 market17) 42)
	(= (on-sale goods18 market17) 11)
	(= (price goods20 market17) 36)
	(= (on-sale goods20 market17) 6)
	(= (price goods22 market17) 38)
	(= (on-sale goods22 market17) 18)
	(= (on-sale goods2 market17) 0)
	(= (on-sale goods4 market17) 0)
	(= (on-sale goods5 market17) 0)
	(= (on-sale goods9 market17) 0)
	(= (on-sale goods10 market17) 0)
	(= (on-sale goods13 market17) 0)
	(= (on-sale goods14 market17) 0)
	(= (on-sale goods15 market17) 0)
	(= (on-sale goods19 market17) 0)
	(= (on-sale goods21 market17) 0)
	(= (price goods0 market18) 8)
	(= (on-sale goods0 market18) 10)
	(= (price goods6 market18) 38)
	(= (on-sale goods6 market18) 3)
	(= (price goods7 market18) 5)
	(= (on-sale goods7 market18) 9)
	(= (price goods8 market18) 36)
	(= (on-sale goods8 market18) 5)
	(= (price goods11 market18) 23)
	(= (on-sale goods11 market18) 8)
	(= (price goods12 market18) 37)
	(= (on-sale goods12 market18) 1)
	(= (price goods13 market18) 6)
	(= (on-sale goods13 market18) 5)
	(= (price goods17 market18) 28)
	(= (on-sale goods17 market18) 16)
	(= (price goods19 market18) 5)
	(= (on-sale goods19 market18) 2)
	(= (price goods20 market18) 3)
	(= (on-sale goods20 market18) 7)
	(= (price goods21 market18) 11)
	(= (on-sale goods21 market18) 10)
	(= (on-sale goods1 market18) 0)
	(= (on-sale goods2 market18) 0)
	(= (on-sale goods3 market18) 0)
	(= (on-sale goods4 market18) 0)
	(= (on-sale goods5 market18) 0)
	(= (on-sale goods9 market18) 0)
	(= (on-sale goods10 market18) 0)
	(= (on-sale goods14 market18) 0)
	(= (on-sale goods15 market18) 0)
	(= (on-sale goods16 market18) 0)
	(= (on-sale goods18 market18) 0)
	(= (on-sale goods22 market18) 0)
	(= (price goods2 market19) 11)
	(= (on-sale goods2 market19) 10)
	(= (price goods3 market19) 39)
	(= (on-sale goods3 market19) 8)
	(= (price goods4 market19) 5)
	(= (on-sale goods4 market19) 20)
	(= (price goods5 market19) 50)
	(= (on-sale goods5 market19) 12)
	(= (price goods9 market19) 46)
	(= (on-sale goods9 market19) 13)
	(= (price goods16 market19) 42)
	(= (on-sale goods16 market19) 5)
	(= (price goods17 market19) 46)
	(= (on-sale goods17 market19) 17)
	(= (price goods18 market19) 16)
	(= (on-sale goods18 market19) 6)
	(= (price goods19 market19) 13)
	(= (on-sale goods19 market19) 12)
	(= (price goods20 market19) 35)
	(= (on-sale goods20 market19) 1)
	(= (price goods22 market19) 4)
	(= (on-sale goods22 market19) 16)
	(= (on-sale goods0 market19) 0)
	(= (on-sale goods1 market19) 0)
	(= (on-sale goods6 market19) 0)
	(= (on-sale goods7 market19) 0)
	(= (on-sale goods8 market19) 0)
	(= (on-sale goods10 market19) 0)
	(= (on-sale goods11 market19) 0)
	(= (on-sale goods12 market19) 0)
	(= (on-sale goods13 market19) 0)
	(= (on-sale goods14 market19) 0)
	(= (on-sale goods15 market19) 0)
	(= (on-sale goods21 market19) 0)
	(= (price goods4 market20) 40)
	(= (on-sale goods4 market20) 18)
	(= (price goods5 market20) 26)
	(= (on-sale goods5 market20) 9)
	(= (price goods8 market20) 23)
	(= (on-sale goods8 market20) 10)
	(= (price goods9 market20) 18)
	(= (on-sale goods9 market20) 15)
	(= (price goods11 market20) 49)
	(= (on-sale goods11 market20) 11)
	(= (price goods15 market20) 20)
	(= (on-sale goods15 market20) 16)
	(= (price goods17 market20) 9)
	(= (on-sale goods17 market20) 9)
	(= (price goods20 market20) 34)
	(= (on-sale goods20 market20) 16)
	(= (on-sale goods0 market20) 0)
	(= (on-sale goods1 market20) 0)
	(= (on-sale goods2 market20) 0)
	(= (on-sale goods3 market20) 0)
	(= (on-sale goods6 market20) 0)
	(= (on-sale goods7 market20) 0)
	(= (on-sale goods10 market20) 0)
	(= (on-sale goods12 market20) 0)
	(= (on-sale goods13 market20) 0)
	(= (on-sale goods14 market20) 0)
	(= (on-sale goods16 market20) 0)
	(= (on-sale goods18 market20) 0)
	(= (on-sale goods19 market20) 0)
	(= (on-sale goods21 market20) 0)
	(= (on-sale goods22 market20) 0)
	(= (price goods2 market21) 7)
	(= (on-sale goods2 market21) 10)
	(= (price goods3 market21) 16)
	(= (on-sale goods3 market21) 15)
	(= (price goods4 market21) 24)
	(= (on-sale goods4 market21) 10)
	(= (price goods7 market21) 14)
	(= (on-sale goods7 market21) 10)
	(= (price goods8 market21) 2)
	(= (on-sale goods8 market21) 11)
	(= (price goods9 market21) 48)
	(= (on-sale goods9 market21) 10)
	(= (price goods10 market21) 50)
	(= (on-sale goods10 market21) 12)
	(= (price goods11 market21) 7)
	(= (on-sale goods11 market21) 20)
	(= (price goods13 market21) 25)
	(= (on-sale goods13 market21) 15)
	(= (price goods14 market21) 6)
	(= (on-sale goods14 market21) 1)
	(= (price goods19 market21) 12)
	(= (on-sale goods19 market21) 2)
	(= (price goods20 market21) 38)
	(= (on-sale goods20 market21) 12)
	(= (on-sale goods0 market21) 0)
	(= (on-sale goods1 market21) 0)
	(= (on-sale goods5 market21) 0)
	(= (on-sale goods6 market21) 0)
	(= (on-sale goods12 market21) 0)
	(= (on-sale goods15 market21) 0)
	(= (on-sale goods16 market21) 0)
	(= (on-sale goods17 market21) 0)
	(= (on-sale goods18 market21) 0)
	(= (on-sale goods21 market21) 0)
	(= (on-sale goods22 market21) 0)
	(= (price goods0 market22) 18)
	(= (on-sale goods0 market22) 4)
	(= (price goods1 market22) 50)
	(= (on-sale goods1 market22) 17)
	(= (price goods2 market22) 44)
	(= (on-sale goods2 market22) 4)
	(= (price goods4 market22) 17)
	(= (on-sale goods4 market22) 13)
	(= (price goods10 market22) 45)
	(= (on-sale goods10 market22) 14)
	(= (price goods11 market22) 35)
	(= (on-sale goods11 market22) 14)
	(= (price goods12 market22) 14)
	(= (on-sale goods12 market22) 2)
	(= (price goods15 market22) 12)
	(= (on-sale goods15 market22) 4)
	(= (price goods16 market22) 50)
	(= (on-sale goods16 market22) 5)
	(= (price goods18 market22) 48)
	(= (on-sale goods18 market22) 17)
	(= (price goods19 market22) 16)
	(= (on-sale goods19 market22) 5)
	(= (price goods20 market22) 39)
	(= (on-sale goods20 market22) 9)
	(= (on-sale goods3 market22) 0)
	(= (on-sale goods5 market22) 0)
	(= (on-sale goods6 market22) 0)
	(= (on-sale goods7 market22) 0)
	(= (on-sale goods8 market22) 0)
	(= (on-sale goods9 market22) 0)
	(= (on-sale goods13 market22) 0)
	(= (on-sale goods14 market22) 0)
	(= (on-sale goods17 market22) 0)
	(= (on-sale goods21 market22) 0)
	(= (on-sale goods22 market22) 0)
	(= (price goods0 market23) 24)
	(= (on-sale goods0 market23) 20)
	(= (price goods2 market23) 40)
	(= (on-sale goods2 market23) 2)
	(= (price goods3 market23) 8)
	(= (on-sale goods3 market23) 14)
	(= (price goods4 market23) 24)
	(= (on-sale goods4 market23) 15)
	(= (price goods6 market23) 9)
	(= (on-sale goods6 market23) 20)
	(= (price goods7 market23) 17)
	(= (on-sale goods7 market23) 15)
	(= (price goods8 market23) 10)
	(= (on-sale goods8 market23) 18)
	(= (price goods9 market23) 18)
	(= (on-sale goods9 market23) 12)
	(= (price goods11 market23) 34)
	(= (on-sale goods11 market23) 20)
	(= (price goods12 market23) 33)
	(= (on-sale goods12 market23) 14)
	(= (price goods13 market23) 31)
	(= (on-sale goods13 market23) 4)
	(= (price goods14 market23) 37)
	(= (on-sale goods14 market23) 15)
	(= (price goods16 market23) 30)
	(= (on-sale goods16 market23) 15)
	(= (price goods17 market23) 32)
	(= (on-sale goods17 market23) 7)
	(= (price goods18 market23) 46)
	(= (on-sale goods18 market23) 20)
	(= (price goods20 market23) 6)
	(= (on-sale goods20 market23) 16)
	(= (on-sale goods1 market23) 0)
	(= (on-sale goods5 market23) 0)
	(= (on-sale goods10 market23) 0)
	(= (on-sale goods15 market23) 0)
	(= (on-sale goods19 market23) 0)
	(= (on-sale goods21 market23) 0)
	(= (on-sale goods22 market23) 0)
	(= (price goods2 market24) 39)
	(= (on-sale goods2 market24) 6)
	(= (price goods4 market24) 7)
	(= (on-sale goods4 market24) 5)
	(= (price goods7 market24) 45)
	(= (on-sale goods7 market24) 1)
	(= (price goods10 market24) 7)
	(= (on-sale goods10 market24) 10)
	(= (price goods14 market24) 8)
	(= (on-sale goods14 market24) 18)
	(= (price goods16 market24) 38)
	(= (on-sale goods16 market24) 13)
	(= (price goods19 market24) 25)
	(= (on-sale goods19 market24) 10)
	(= (price goods20 market24) 4)
	(= (on-sale goods20 market24) 7)
	(= (on-sale goods0 market24) 0)
	(= (on-sale goods1 market24) 0)
	(= (on-sale goods3 market24) 0)
	(= (on-sale goods5 market24) 0)
	(= (on-sale goods6 market24) 0)
	(= (on-sale goods8 market24) 0)
	(= (on-sale goods9 market24) 0)
	(= (on-sale goods11 market24) 0)
	(= (on-sale goods12 market24) 0)
	(= (on-sale goods13 market24) 0)
	(= (on-sale goods15 market24) 0)
	(= (on-sale goods17 market24) 0)
	(= (on-sale goods18 market24) 0)
	(= (on-sale goods21 market24) 0)
	(= (on-sale goods22 market24) 0)
	(= (price goods4 market25) 25)
	(= (on-sale goods4 market25) 4)
	(= (price goods5 market25) 39)
	(= (on-sale goods5 market25) 6)
	(= (price goods6 market25) 16)
	(= (on-sale goods6 market25) 16)
	(= (price goods7 market25) 24)
	(= (on-sale goods7 market25) 19)
	(= (price goods8 market25) 38)
	(= (on-sale goods8 market25) 16)
	(= (price goods9 market25) 33)
	(= (on-sale goods9 market25) 2)
	(= (price goods10 market25) 14)
	(= (on-sale goods10 market25) 15)
	(= (price goods11 market25) 13)
	(= (on-sale goods11 market25) 18)
	(= (price goods12 market25) 22)
	(= (on-sale goods12 market25) 4)
	(= (price goods13 market25) 22)
	(= (on-sale goods13 market25) 1)
	(= (price goods14 market25) 39)
	(= (on-sale goods14 market25) 20)
	(= (price goods15 market25) 32)
	(= (on-sale goods15 market25) 18)
	(= (price goods18 market25) 40)
	(= (on-sale goods18 market25) 4)
	(= (price goods19 market25) 48)
	(= (on-sale goods19 market25) 5)
	(= (price goods21 market25) 1)
	(= (on-sale goods21 market25) 10)
	(= (on-sale goods0 market25) 0)
	(= (on-sale goods1 market25) 0)
	(= (on-sale goods2 market25) 0)
	(= (on-sale goods3 market25) 0)
	(= (on-sale goods16 market25) 0)
	(= (on-sale goods17 market25) 0)
	(= (on-sale goods20 market25) 0)
	(= (on-sale goods22 market25) 0)
	(at truck0 depot0)
	(= (drive-cost depot0 market1) 381.20)
	(= (drive-cost market1 depot0) 381.20)
	(= (drive-cost depot0 market2) 737.52)
	(= (drive-cost market2 depot0) 737.52)
	(= (drive-cost depot0 market3) 452.95)
	(= (drive-cost market3 depot0) 452.95)
	(= (drive-cost depot0 market4) 516.44)
	(= (drive-cost market4 depot0) 516.44)
	(= (drive-cost depot0 market5) 558.53)
	(= (drive-cost market5 depot0) 558.53)
	(= (drive-cost depot0 market6) 108.58)
	(= (drive-cost market6 depot0) 108.58)
	(= (drive-cost depot0 market7) 505.36)
	(= (drive-cost market7 depot0) 505.36)
	(= (drive-cost depot0 market8) 550.41)
	(= (drive-cost market8 depot0) 550.41)
	(= (drive-cost depot0 market9) 240.86)
	(= (drive-cost market9 depot0) 240.86)
	(= (drive-cost depot0 market10) 495.59)
	(= (drive-cost market10 depot0) 495.59)
	(= (drive-cost depot0 market11) 198.04)
	(= (drive-cost market11 depot0) 198.04)
	(= (drive-cost depot0 market12) 745.67)
	(= (drive-cost market12 depot0) 745.67)
	(= (drive-cost depot0 market13) 647.71)
	(= (drive-cost market13 depot0) 647.71)
	(= (drive-cost depot0 market14) 258.31)
	(= (drive-cost market14 depot0) 258.31)
	(= (drive-cost depot0 market15) 446.07)
	(= (drive-cost market15 depot0) 446.07)
	(= (drive-cost depot0 market16) 536.00)
	(= (drive-cost market16 depot0) 536.00)
	(= (drive-cost depot0 market17) 514.06)
	(= (drive-cost market17 depot0) 514.06)
	(= (drive-cost depot0 market18) 510.78)
	(= (drive-cost market18 depot0) 510.78)
	(= (drive-cost depot0 market19) 242.89)
	(= (drive-cost market19 depot0) 242.89)
	(= (drive-cost depot0 market20) 476.88)
	(= (drive-cost market20 depot0) 476.88)
	(= (drive-cost depot0 market21) 511.73)
	(= (drive-cost market21 depot0) 511.73)
	(= (drive-cost depot0 market22) 226.76)
	(= (drive-cost market22 depot0) 226.76)
	(= (drive-cost depot0 market23) 736.19)
	(= (drive-cost market23 depot0) 736.19)
	(= (drive-cost depot0 market24) 198.65)
	(= (drive-cost market24 depot0) 198.65)
	(= (drive-cost depot0 market25) 849.25)
	(= (drive-cost market25 depot0) 849.25)
	(= (drive-cost market1 market2) 1033.70)
	(= (drive-cost market2 market1) 1033.70)
	(= (drive-cost market1 market3) 227.66)
	(= (drive-cost market3 market1) 227.66)
	(= (drive-cost market1 market4) 175.31)
	(= (drive-cost market4 market1) 175.31)
	(= (drive-cost market1 market5) 458.57)
	(= (drive-cost market5 market1) 458.57)
	(= (drive-cost market1 market6) 481.77)
	(= (drive-cost market6 market1) 481.77)
	(= (drive-cost market1 market7) 212.51)
	(= (drive-cost market7 market1) 212.51)
	(= (drive-cost market1 market8) 827.23)
	(= (drive-cost market8 market1) 827.23)
	(= (drive-cost market1 market9) 163.69)
	(= (drive-cost market9 market1) 163.69)
	(= (drive-cost market1 market10) 145.50)
	(= (drive-cost market10 market1) 145.50)
	(= (drive-cost market1 market11) 279.21)
	(= (drive-cost market11 market1) 279.21)
	(= (drive-cost market1 market12) 875.20)
	(= (drive-cost market12 market1) 875.20)
	(= (drive-cost market1 market13) 388.63)
	(= (drive-cost market13 market1) 388.63)
	(= (drive-cost market1 market14) 189.71)
	(= (drive-cost market14 market1) 189.71)
	(= (drive-cost market1 market15) 70.01)
	(= (drive-cost market15 market1) 70.01)
	(= (drive-cost market1 market16) 247.75)
	(= (drive-cost market16 market1) 247.75)
	(= (drive-cost market1 market17) 264.56)
	(= (drive-cost market17 market1) 264.56)
	(= (drive-cost market1 market18) 690.96)
	(= (drive-cost market18 market1) 690.96)
	(= (drive-cost market1 market19) 533.02)
	(= (drive-cost market19 market1) 533.02)
	(= (drive-cost market1 market20) 348.08)
	(= (drive-cost market20 market1) 348.08)
	(= (drive-cost market1 market21) 774.24)
	(= (drive-cost market21 market1) 774.24)
	(= (drive-cost market1 market22) 276.33)
	(= (drive-cost market22 market1) 276.33)
	(= (drive-cost market1 market23) 863.90)
	(= (drive-cost market23 market1) 863.90)
	(= (drive-cost market1 market24) 553.01)
	(= (drive-cost market24 market1) 553.01)
	(= (drive-cost market1 market25) 859.28)
	(= (drive-cost market25 market1) 859.28)
	(= (drive-cost market2 market3) 944.03)
	(= (drive-cost market3 market2) 944.03)
	(= (drive-cost market2 market4) 1080.73)
	(= (drive-cost market4 market2) 1080.73)
	(= (drive-cost market2 market5) 826.28)
	(= (drive-cost market5 market2) 826.28)
	(= (drive-cost market2 market6) 638.60)
	(= (drive-cost market6 market2) 638.60)
	(= (drive-cost market2 market7) 1025.31)
	(= (drive-cost market7 market2) 1025.31)
	(= (drive-cost market2 market8) 208.06)
	(= (drive-cost market8 market2) 208.06)
	(= (drive-cost market2 market9) 871.85)
	(= (drive-cost market9 market2) 871.85)
	(= (drive-cost market2 market10) 1077.51)
	(= (drive-cost market10 market2) 1077.51)
	(= (drive-cost market2 market11) 935.42)
	(= (drive-cost market11 market2) 935.42)
	(= (drive-cost market2 market12) 457.03)
	(= (drive-cost market12 market2) 457.03)
	(= (drive-cost market2 market13) 1057.64)
	(= (drive-cost market13 market2) 1057.64)
	(= (drive-cost market2 market14) 983.10)
	(= (drive-cost market14 market2) 983.10)
	(= (drive-cost market2 market15) 1074.62)
	(= (drive-cost market15 market2) 1074.62)
	(= (drive-cost market2 market16) 1035.23)
	(= (drive-cost market16 market2) 1035.23)
	(= (drive-cost market2 market17) 985.84)
	(= (drive-cost market17 market2) 985.84)
	(= (drive-cost market2 market18) 406.28)
	(= (drive-cost market18 market2) 406.28)
	(= (drive-cost market2 market19) 858.75)
	(= (drive-cost market19 market2) 858.75)
	(= (drive-cost market2 market20) 851.31)
	(= (drive-cost market20 market2) 851.31)
	(= (drive-cost market2 market21) 264.59)
	(= (drive-cost market21 market2) 264.59)
	(= (drive-cost market2 market22) 964.21)
	(= (drive-cost market22 market2) 964.21)
	(= (drive-cost market2 market23) 460.04)
	(= (drive-cost market23 market2) 460.04)
	(= (drive-cost market2 market24) 543.53)
	(= (drive-cost market24 market2) 543.53)
	(= (drive-cost market2 market25) 725.22)
	(= (drive-cost market25 market2) 725.22)
	(= (drive-cost market3 market4) 146.54)
	(= (drive-cost market4 market3) 146.54)
	(= (drive-cost market3 market5) 237.45)
	(= (drive-cost market5 market3) 237.45)
	(= (drive-cost market3 market6) 522.61)
	(= (drive-cost market6 market3) 522.61)
	(= (drive-cost market3 market7) 81.47)
	(= (drive-cost market7 market3) 81.47)
	(= (drive-cost market3 market8) 737.35)
	(= (drive-cost market8 market3) 737.35)
	(= (drive-cost market3 market9) 227.18)
	(= (drive-cost market9 market3) 227.18)
	(= (drive-cost market3 market10) 156.31)
	(= (drive-cost market10 market3) 156.31)
	(= (drive-cost market3 market11) 445.73)
	(= (drive-cost market11 market3) 445.73)
	(= (drive-cost market3 market12) 700.46)
	(= (drive-cost market12 market3) 700.46)
	(= (drive-cost market3 market13) 196.73)
	(= (drive-cost market13 market3) 196.73)
	(= (drive-cost market3 market14) 378.99)
	(= (drive-cost market14 market3) 378.99)
	(= (drive-cost market3 market15) 206.00)
	(= (drive-cost market15 market3) 206.00)
	(= (drive-cost market3 market16) 95.26)
	(= (drive-cost market16 market3) 95.26)
	(= (drive-cost market3 market17) 61.13)
	(= (drive-cost market17 market3) 61.13)
	(= (drive-cost market3 market18) 557.52)
	(= (drive-cost market18 market3) 557.52)
	(= (drive-cost market3 market19) 667.72)
	(= (drive-cost market19 market3) 667.72)
	(= (drive-cost market3 market20) 132.19)
	(= (drive-cost market20 market3) 132.19)
	(= (drive-cost market3 market21) 679.76)
	(= (drive-cost market21 market3) 679.76)
	(= (drive-cost market3 market22) 454.88)
	(= (drive-cost market22 market3) 454.88)
	(= (drive-cost market3 market23) 689.07)
	(= (drive-cost market23 market3) 689.07)
	(= (drive-cost market3 market24) 560.99)
	(= (drive-cost market24 market3) 560.99)
	(= (drive-cost market3 market25) 645.02)
	(= (drive-cost market25 market3) 645.02)
	(= (drive-cost market4 market5) 370.71)
	(= (drive-cost market5 market4) 370.71)
	(= (drive-cost market4 market6) 604.20)
	(= (drive-cost market6 market4) 604.20)
	(= (drive-cost market4 market7) 74.06)
	(= (drive-cost market7 market4) 74.06)
	(= (drive-cost market4 market8) 872.98)
	(= (drive-cost market8 market4) 872.98)
	(= (drive-cost market4 market9) 275.75)
	(= (drive-cost market9 market4) 275.75)
	(= (drive-cost market4 market10) 30.81)
	(= (drive-cost market10 market4) 30.81)
	(= (drive-cost market4 market11) 449.72)
	(= (drive-cost market11 market4) 449.72)
	(= (drive-cost market4 market12) 846.57)
	(= (drive-cost market12 market4) 846.57)
	(= (drive-cost market4 market13) 228.66)
	(= (drive-cost market13 market4) 228.66)
	(= (drive-cost market4 market14) 363.72)
	(= (drive-cost market14 market4) 363.72)
	(= (drive-cost market4 market15) 114.40)
	(= (drive-cost market15 market4) 114.40)
	(= (drive-cost market4 market16) 96.17)
	(= (drive-cost market16 market4) 96.17)
	(= (drive-cost market4 market17) 139.06)
	(= (drive-cost market17 market4) 139.06)
	(= (drive-cost market4 market18) 701.19)
	(= (drive-cost market18 market4) 701.19)
	(= (drive-cost market4 market19) 697.76)
	(= (drive-cost market19 market4) 697.76)
	(= (drive-cost market4 market20) 274.56)
	(= (drive-cost market20 market4) 274.56)
	(= (drive-cost market4 market21) 816.16)
	(= (drive-cost market21 market4) 816.16)
	(= (drive-cost market4 market22) 449.59)
	(= (drive-cost market22 market4) 449.59)
	(= (drive-cost market4 market23) 835.19)
	(= (drive-cost market23 market4) 835.19)
	(= (drive-cost market4 market24) 658.96)
	(= (drive-cost market24 market4) 658.96)
	(= (drive-cost market4 market25) 778.02)
	(= (drive-cost market25 market4) 778.02)
	(= (drive-cost market5 market6) 587.93)
	(= (drive-cost market6 market5) 587.93)
	(= (drive-cost market5 market7) 296.67)
	(= (drive-cost market7 market5) 296.67)
	(= (drive-cost market5 market8) 633.55)
	(= (drive-cost market8 market5) 633.55)
	(= (drive-cost market5 market9) 399.51)
	(= (drive-cost market9 market5) 399.51)
	(= (drive-cost market5 market10) 388.01)
	(= (drive-cost market10 market5) 388.01)
	(= (drive-cost market5 market11) 623.10)
	(= (drive-cost market11 market5) 623.10)
	(= (drive-cost market5 market12) 498.76)
	(= (drive-cost market12 market5) 498.76)
	(= (drive-cost market5 market13) 241.23)
	(= (drive-cost market13 market5) 241.23)
	(= (drive-cost market5 market14) 578.29)
	(= (drive-cost market14 market5) 578.29)
	(= (drive-cost market5 market15) 443.40)
	(= (drive-cost market15 market5) 443.40)
	(= (drive-cost market5 market16) 282.64)
	(= (drive-cost market16 market5) 282.64)
	(= (drive-cost market5 market17) 232.57)
	(= (drive-cost market17 market5) 232.57)
	(= (drive-cost market5 market18) 420.01)
	(= (drive-cost market18 market5) 420.01)
	(= (drive-cost market5 market19) 798.88)
	(= (drive-cost market19 market5) 798.88)
	(= (drive-cost market5 market20) 110.86)
	(= (drive-cost market20 market5) 110.86)
	(= (drive-cost market5 market21) 576.21)
	(= (drive-cost market21 market5) 576.21)
	(= (drive-cost market5 market22) 639.67)
	(= (drive-cost market22 market5) 639.67)
	(= (drive-cost market5 market23) 487.75)
	(= (drive-cost market23 market5) 487.75)
	(= (drive-cost market5 market24) 587.92)
	(= (drive-cost market24 market5) 587.92)
	(= (drive-cost market5 market25) 408.35)
	(= (drive-cost market25 market5) 408.35)
	(= (drive-cost market6 market7) 583.98)
	(= (drive-cost market7 market6) 583.98)
	(= (drive-cost market6 market8) 460.43)
	(= (drive-cost market8 market6) 460.43)
	(= (drive-cost market6 market9) 330.55)
	(= (drive-cost market9 market6) 330.55)
	(= (drive-cost market6 market10) 586.04)
	(= (drive-cost market10 market6) 586.04)
	(= (drive-cost market6 market11) 302.33)
	(= (drive-cost market11 market6) 302.33)
	(= (drive-cost market6 market12) 695.01)
	(= (drive-cost market12 market6) 695.01)
	(= (drive-cost market6 market13) 711.07)
	(= (drive-cost market13 market6) 711.07)
	(= (drive-cost market6 market14) 366.86)
	(= (drive-cost market14 market6) 366.86)
	(= (drive-cost market6 market15) 543.81)
	(= (drive-cost market15 market6) 543.81)
	(= (drive-cost market6 market16) 611.79)
	(= (drive-cost market16 market6) 611.79)
	(= (drive-cost market6 market17) 583.17)
	(= (drive-cost market17 market6) 583.17)
	(= (drive-cost market6 market18) 456.25)
	(= (drive-cost market18 market6) 456.25)
	(= (drive-cost market6 market19) 265.20)
	(= (drive-cost market19 market6) 265.20)
	(= (drive-cost market6 market20) 521.99)
	(= (drive-cost market20 market6) 521.99)
	(= (drive-cost market6 market21) 427.92)
	(= (drive-cost market21 market6) 427.92)
	(= (drive-cost market6 market22) 330.51)
	(= (drive-cost market22 market6) 330.51)
	(= (drive-cost market6 market23) 686.47)
	(= (drive-cost market23 market6) 686.47)
	(= (drive-cost market6 market24) 95.08)
	(= (drive-cost market24 market6) 95.08)
	(= (drive-cost market6 market25) 830.41)
	(= (drive-cost market25 market6) 830.41)
	(= (drive-cost market7 market8) 818.46)
	(= (drive-cost market8 market7) 818.46)
	(= (drive-cost market7 market9) 267.61)
	(= (drive-cost market9 market7) 267.61)
	(= (drive-cost market7 market10) 94.59)
	(= (drive-cost market10 market7) 94.59)
	(= (drive-cost market7 market11) 467.82)
	(= (drive-cost market11 market7) 467.82)
	(= (drive-cost market7 market12) 775.87)
	(= (drive-cost market12 market7) 775.87)
	(= (drive-cost market7 market13) 176.18)
	(= (drive-cost market13 market7) 176.18)
	(= (drive-cost market7 market14) 389.65)
	(= (drive-cost market14 market7) 389.65)
	(= (drive-cost market7 market15) 167.59)
	(= (drive-cost market15 market7) 167.59)
	(= (drive-cost market7 market16) 35.85)
	(= (drive-cost market16 market7) 35.85)
	(= (drive-cost market7 market17) 65.38)
	(= (drive-cost market17 market7) 65.38)
	(= (drive-cost market7 market18) 638.62)
	(= (drive-cost market18 market7) 638.62)
	(= (drive-cost market7 market19) 705.24)
	(= (drive-cost market19 market7) 705.24)
	(= (drive-cost market7 market20) 202.41)
	(= (drive-cost market20 market7) 202.41)
	(= (drive-cost market7 market21) 760.95)
	(= (drive-cost market21 market7) 760.95)
	(= (drive-cost market7 market22) 472.15)
	(= (drive-cost market22 market7) 472.15)
	(= (drive-cost market7 market23) 764.51)
	(= (drive-cost market23 market7) 764.51)
	(= (drive-cost market7 market24) 629.63)
	(= (drive-cost market24 market7) 629.63)
	(= (drive-cost market7 market25) 704.01)
	(= (drive-cost market25 market7) 704.01)
	(= (drive-cost market8 market9) 666.32)
	(= (drive-cost market9 market8) 666.32)
	(= (drive-cost market8 market10) 869.51)
	(= (drive-cost market10 market8) 869.51)
	(= (drive-cost market8 market11) 745.93)
	(= (drive-cost market11 market8) 745.93)
	(= (drive-cost market8 market12) 363.59)
	(= (drive-cost market12 market8) 363.59)
	(= (drive-cost market8 market13) 858.41)
	(= (drive-cost market13 market8) 858.41)
	(= (drive-cost market8 market14) 786.15)
	(= (drive-cost market14 market8) 786.15)
	(= (drive-cost market8 market15) 866.98)
	(= (drive-cost market15 market8) 866.98)
	(= (drive-cost market8 market16) 829.34)
	(= (drive-cost market16 market8) 829.34)
	(= (drive-cost market8 market17) 780.65)
	(= (drive-cost market17 market8) 780.65)
	(= (drive-cost market8 market18) 221.27)
	(= (drive-cost market18 market8) 221.27)
	(= (drive-cost market8 market19) 704.71)
	(= (drive-cost market19 market8) 704.71)
	(= (drive-cost market8 market20) 649.09)
	(= (drive-cost market20 market8) 649.09)
	(= (drive-cost market8 market21) 58.25)
	(= (drive-cost market21 market8) 58.25)
	(= (drive-cost market8 market22) 774.77)
	(= (drive-cost market22 market8) 774.77)
	(= (drive-cost market8 market23) 361.45)
	(= (drive-cost market23 market8) 361.45)
	(= (drive-cost market8 market24) 368.02)
	(= (drive-cost market24 market8) 368.02)
	(= (drive-cost market8 market25) 608.79)
	(= (drive-cost market25 market8) 608.79)
	(= (drive-cost market9 market10) 255.93)
	(= (drive-cost market10 market9) 255.93)
	(= (drive-cost market9 market11) 226.06)
	(= (drive-cost market11 market9) 226.06)
	(= (drive-cost market9 market12) 745.01)
	(= (drive-cost market12 market9) 745.01)
	(= (drive-cost market9 market13) 423.45)
	(= (drive-cost market13 market9) 423.45)
	(= (drive-cost market9 market14) 182.08)
	(= (drive-cost market14 market9) 182.08)
	(= (drive-cost market9 market15) 216.93)
	(= (drive-cost market15 market9) 216.93)
	(= (drive-cost market9 market16) 300.17)
	(= (drive-cost market16 market9) 300.17)
	(= (drive-cost market9 market17) 286.30)
	(= (drive-cost market17 market9) 286.30)
	(= (drive-cost market9 market18) 543.66)
	(= (drive-cost market18 market9) 543.66)
	(= (drive-cost market9 market19) 441.08)
	(= (drive-cost market19 market9) 441.08)
	(= (drive-cost market9 market20) 294.88)
	(= (drive-cost market20 market9) 294.88)
	(= (drive-cost market9 market21) 614.50)
	(= (drive-cost market21 market9) 614.50)
	(= (drive-cost market9 market22) 240.62)
	(= (drive-cost market22 market9) 240.62)
	(= (drive-cost market9 market23) 734.00)
	(= (drive-cost market23 market9) 734.00)
	(= (drive-cost market9 market24) 393.91)
	(= (drive-cost market24 market9) 393.91)
	(= (drive-cost market9 market25) 768.75)
	(= (drive-cost market25 market9) 768.75)
	(= (drive-cost market10 market11) 421.72)
	(= (drive-cost market11 market10) 421.72)
	(= (drive-cost market10 market12) 856.02)
	(= (drive-cost market12 market10) 856.02)
	(= (drive-cost market10 market13) 258.03)
	(= (drive-cost market13 market10) 258.03)
	(= (drive-cost market10 market14) 334.61)
	(= (drive-cost market14 market10) 334.61)
	(= (drive-cost market10 market15) 83.60)
	(= (drive-cost market15 market10) 83.60)
	(= (drive-cost market10 market16) 122.10)
	(= (drive-cost market16 market10) 122.10)
	(= (drive-cost market10 market17) 159.66)
	(= (drive-cost market17 market10) 159.66)
	(= (drive-cost market10 market18) 703.34)
	(= (drive-cost market18 market10) 703.34)
	(= (drive-cost market10 market19) 671.44)
	(= (drive-cost market19 market10) 671.44)
	(= (drive-cost market10 market20) 287.66)
	(= (drive-cost market20 market10) 287.66)
	(= (drive-cost market10 market21) 813.18)
	(= (drive-cost market21 market10) 813.18)
	(= (drive-cost market10 market22) 420.80)
	(= (drive-cost market22 market10) 420.80)
	(= (drive-cost market10 market23) 844.62)
	(= (drive-cost market23 market10) 844.62)
	(= (drive-cost market10 market24) 643.99)
	(= (drive-cost market24 market10) 643.99)
	(= (drive-cost market10 market25) 796.23)
	(= (drive-cost market25 market10) 796.23)
	(= (drive-cost market11 market12) 909.28)
	(= (drive-cost market12 market11) 909.28)
	(= (drive-cost market11 market13) 637.31)
	(= (drive-cost market13 market11) 637.31)
	(= (drive-cost market11 market14) 94.37)
	(= (drive-cost market14 market11) 94.37)
	(= (drive-cost market11 market15) 348.90)
	(= (drive-cost market15 market11) 348.90)
	(= (drive-cost market11 market16) 503.24)
	(= (drive-cost market16 market11) 503.24)
	(= (drive-cost market11 market17) 500.96)
	(= (drive-cost market17 market11) 500.96)
	(= (drive-cost market11 market18) 683.47)
	(= (drive-cost market18 market11) 683.47)
	(= (drive-cost market11 market19) 256.88)
	(= (drive-cost market19 market11) 256.88)
	(= (drive-cost market11 market20) 520.55)
	(= (drive-cost market20 market11) 520.55)
	(= (drive-cost market11 market21) 704.64)
	(= (drive-cost market21 market11) 704.64)
	(= (drive-cost market11 market22) 28.86)
	(= (drive-cost market22 market11) 28.86)
	(= (drive-cost market11 market23) 899.03)
	(= (drive-cost market23 market11) 899.03)
	(= (drive-cost market11 market24) 395.68)
	(= (drive-cost market24 market11) 395.68)
	(= (drive-cost market11 market25) 973.14)
	(= (drive-cost market25 market11) 973.14)
	(= (drive-cost market12 market13) 737.48)
	(= (drive-cost market13 market12) 737.48)
	(= (drive-cost market12 market14) 912.92)
	(= (drive-cost market14 market12) 912.92)
	(= (drive-cost market12 market15) 887.85)
	(= (drive-cost market15 market12) 887.85)
	(= (drive-cost market12 market16) 770.64)
	(= (drive-cost market16 market12) 770.64)
	(= (drive-cost market12 market17) 718.00)
	(= (drive-cost market17 market12) 718.00)
	(= (drive-cost market12 market18) 238.82)
	(= (drive-cost market18 market12) 238.82)
	(= (drive-cost market12 market19) 960.21)
	(= (drive-cost market19 market12) 960.21)
	(= (drive-cost market12 market20) 573.81)
	(= (drive-cost market20 market12) 573.81)
	(= (drive-cost market12 market21) 339.68)
	(= (drive-cost market21 market12) 339.68)
	(= (drive-cost market12 market22) 935.61)
	(= (drive-cost market22 market12) 935.61)
	(= (drive-cost market12 market23) 11.40)
	(= (drive-cost market23 market12) 11.40)
	(= (drive-cost market12 market24) 625.84)
	(= (drive-cost market24 market12) 625.84)
	(= (drive-cost market12 market25) 268.99)
	(= (drive-cost market25 market12) 268.99)
	(= (drive-cost market13 market14) 563.40)
	(= (drive-cost market14 market13) 563.40)
	(= (drive-cost market13 market15) 339.32)
	(= (drive-cost market15 market13) 339.32)
	(= (drive-cost market13 market16) 140.93)
	(= (drive-cost market16 market13) 140.93)
	(= (drive-cost market13 market17) 137.30)
	(= (drive-cost market17 market13) 137.30)
	(= (drive-cost market13 market18) 653.32)
	(= (drive-cost market18 market13) 653.32)
	(= (drive-cost market13 market19) 864.34)
	(= (drive-cost market19 market13) 864.34)
	(= (drive-cost market13 market20) 213.00)
	(= (drive-cost market20 market13) 213.00)
	(= (drive-cost market13 market21) 800.24)
	(= (drive-cost market21 market13) 800.24)
	(= (drive-cost market13 market22) 643.90)
	(= (drive-cost market22 market13) 643.90)
	(= (drive-cost market13 market23) 726.66)
	(= (drive-cost market23 market13) 726.66)
	(= (drive-cost market13 market24) 739.56)
	(= (drive-cost market24 market13) 739.56)
	(= (drive-cost market13 market25) 608.10)
	(= (drive-cost market25 market13) 608.10)
	(= (drive-cost market14 market15) 258.28)
	(= (drive-cost market15 market14) 258.28)
	(= (drive-cost market14 market16) 425.47)
	(= (drive-cost market16 market14) 425.47)
	(= (drive-cost market14 market17) 429.77)
	(= (drive-cost market17 market14) 429.77)
	(= (drive-cost market14 market18) 697.88)
	(= (drive-cost market18 market14) 697.88)
	(= (drive-cost market14 market19) 351.16)
	(= (drive-cost market19 market14) 351.16)
	(= (drive-cost market14 market20) 470.60)
	(= (drive-cost market20 market14) 470.60)
	(= (drive-cost market14 market21) 740.37)
	(= (drive-cost market21 market14) 740.37)
	(= (drive-cost market14 market22) 86.83)
	(= (drive-cost market22 market14) 86.83)
	(= (drive-cost market14 market23) 902.21)
	(= (drive-cost market23 market14) 902.21)
	(= (drive-cost market14 market24) 455.14)
	(= (drive-cost market24 market14) 455.14)
	(= (drive-cost market14 market25) 950.29)
	(= (drive-cost market25 market14) 950.29)
	(= (drive-cost market15 market16) 200.00)
	(= (drive-cost market16 market15) 200.00)
	(= (drive-cost market15 market17) 228.18)
	(= (drive-cost market17 market15) 228.18)
	(= (drive-cost market15 market18) 717.24)
	(= (drive-cost market18 market15) 717.24)
	(= (drive-cost market15 market19) 603.03)
	(= (drive-cost market19 market15) 603.03)
	(= (drive-cost market15 market20) 336.17)
	(= (drive-cost market20 market15) 336.17)
	(= (drive-cost market15 market21) 812.41)
	(= (drive-cost market21 market15) 812.41)
	(= (drive-cost market15 market22) 345.09)
	(= (drive-cost market22 market15) 345.09)
	(= (drive-cost market15 market23) 876.47)
	(= (drive-cost market23 market15) 876.47)
	(= (drive-cost market15 market24) 610.73)
	(= (drive-cost market24 market15) 610.73)
	(= (drive-cost market15 market25) 850.36)
	(= (drive-cost market25 market15) 850.36)
	(= (drive-cost market16 market17) 52.77)
	(= (drive-cost market17 market16) 52.77)
	(= (drive-cost market16 market18) 643.52)
	(= (drive-cost market18 market16) 643.52)
	(= (drive-cost market16 market19) 739.22)
	(= (drive-cost market19 market16) 739.22)
	(= (drive-cost market16 market20) 197.71)
	(= (drive-cost market20 market16) 197.71)
	(= (drive-cost market16 market21) 771.50)
	(= (drive-cost market21 market16) 771.50)
	(= (drive-cost market16 market22) 507.83)
	(= (drive-cost market22 market16) 507.83)
	(= (drive-cost market16 market23) 759.35)
	(= (drive-cost market23 market16) 759.35)
	(= (drive-cost market16 market24) 654.12)
	(= (drive-cost market24 market16) 654.12)
	(= (drive-cost market16 market25) 686.84)
	(= (drive-cost market25 market16) 686.84)
	(= (drive-cost market17 market18) 592.11)
	(= (drive-cost market18 market17) 592.11)
	(= (drive-cost market17 market19) 727.33)
	(= (drive-cost market19 market17) 727.33)
	(= (drive-cost market17 market20) 144.94)
	(= (drive-cost market20 market17) 144.94)
	(= (drive-cost market17 market21) 722.64)
	(= (drive-cost market21 market17) 722.64)
	(= (drive-cost market17 market22) 508.50)
	(= (drive-cost market22 market17) 508.50)
	(= (drive-cost market17 market23) 706.70)
	(= (drive-cost market23 market17) 706.70)
	(= (drive-cost market17 market24) 619.58)
	(= (drive-cost market24 market17) 619.58)
	(= (drive-cost market17 market25) 639.08)
	(= (drive-cost market25 market17) 639.08)
	(= (drive-cost market18 market19) 721.44)
	(= (drive-cost market19 market18) 721.44)
	(= (drive-cost market18 market20) 451.85)
	(= (drive-cost market20 market18) 451.85)
	(= (drive-cost market18 market21) 168.67)
	(= (drive-cost market21 market18) 168.67)
	(= (drive-cost market18 market22) 710.83)
	(= (drive-cost market22 market18) 710.83)
	(= (drive-cost market18 market23) 230.49)
	(= (drive-cost market23 market18) 230.49)
	(= (drive-cost market18 market24) 388.33)
	(= (drive-cost market24 market18) 388.33)
	(= (drive-cost market18 market25) 421.28)
	(= (drive-cost market25 market18) 421.28)
	(= (drive-cost market19 market20) 711.62)
	(= (drive-cost market20 market19) 711.62)
	(= (drive-cost market19 market21) 680.62)
	(= (drive-cost market21 market19) 680.62)
	(= (drive-cost market19 market22) 268.56)
	(= (drive-cost market22 market19) 268.56)
	(= (drive-cost market19 market23) 951.67)
	(= (drive-cost market23 market19) 951.67)
	(= (drive-cost market19 market24) 342.85)
	(= (drive-cost market24 market19) 342.85)
	(= (drive-cost market19 market25) 1086.43)
	(= (drive-cost market25 market19) 1086.43)
	(= (drive-cost market20 market21) 590.84)
	(= (drive-cost market21 market20) 590.84)
	(= (drive-cost market20 market22) 535.45)
	(= (drive-cost market22 market20) 535.45)
	(= (drive-cost market20 market23) 562.47)
	(= (drive-cost market23 market20) 562.47)
	(= (drive-cost market20 market24) 538.00)
	(= (drive-cost market24 market20) 538.00)
	(= (drive-cost market20 market25) 514.28)
	(= (drive-cost market25 market20) 514.28)
	(= (drive-cost market21 market22) 733.39)
	(= (drive-cost market22 market21) 733.39)
	(= (drive-cost market21 market23) 335.87)
	(= (drive-cost market23 market21) 335.87)
	(= (drive-cost market21 market24) 339.01)
	(= (drive-cost market24 market21) 339.01)
	(= (drive-cost market21 market25) 571.46)
	(= (drive-cost market25 market21) 571.46)
	(= (drive-cost market22 market23) 925.29)
	(= (drive-cost market23 market22) 925.29)
	(= (drive-cost market22 market24) 424.12)
	(= (drive-cost market24 market22) 424.12)
	(= (drive-cost market22 market25) 995.25)
	(= (drive-cost market25 market22) 995.25)
	(= (drive-cost market23 market24) 618.10)
	(= (drive-cost market24 market23) 618.10)
	(= (drive-cost market23 market25) 265.27)
	(= (drive-cost market25 market23) 265.27)
	(= (drive-cost market24 market25) 784.42)
	(= (drive-cost market25 market24) 784.42)
	(= (bought goods0) 0)
	(= (request goods0) 93)
	(= (bought goods1) 0)
	(= (request goods1) 33)
	(= (bought goods2) 0)
	(= (request goods2) 21)
	(= (bought goods3) 0)
	(= (request goods3) 75)
	(= (bought goods4) 0)
	(= (request goods4) 45)
	(= (bought goods5) 0)
	(= (request goods5) 14)
	(= (bought goods6) 0)
	(= (request goods6) 140)
	(= (bought goods7) 0)
	(= (request goods7) 22)
	(= (bought goods8) 0)
	(= (request goods8) 126)
	(= (bought goods9) 0)
	(= (request goods9) 29)
	(= (bought goods10) 0)
	(= (request goods10) 5)
	(= (bought goods11) 0)
	(= (request goods11) 236)
	(= (bought goods12) 0)
	(= (request goods12) 78)
	(= (bought goods13) 0)
	(= (request goods13) 20)
	(= (bought goods14) 0)
	(= (request goods14) 40)
	(= (bought goods15) 0)
	(= (request goods15) 55)
	(= (bought goods16) 0)
	(= (request goods16) 146)
	(= (bought goods17) 0)
	(= (request goods17) 129)
	(= (bought goods18) 0)
	(= (request goods18) 182)
	(= (bought goods19) 0)
	(= (request goods19) 99)
	(= (bought goods20) 0)
	(= (request goods20) 147)
	(= (bought goods21) 0)
	(= (request goods21) 19)
	(= (bought goods22) 0)
	(= (request goods22) 72)
	(= (total-cost) 0))

(:goal (and
	(>= (bought goods0) (request goods0))
	(>= (bought goods1) (request goods1))
	(>= (bought goods2) (request goods2))
	(>= (bought goods3) (request goods3))
	(>= (bought goods4) (request goods4))
	(>= (bought goods5) (request goods5))
	(>= (bought goods6) (request goods6))
	(>= (bought goods7) (request goods7))
	(>= (bought goods8) (request goods8))
	(>= (bought goods9) (request goods9))
	(>= (bought goods10) (request goods10))
	(>= (bought goods11) (request goods11))
	(>= (bought goods12) (request goods12))
	(>= (bought goods13) (request goods13))
	(>= (bought goods14) (request goods14))
	(>= (bought goods15) (request goods15))
	(>= (bought goods16) (request goods16))
	(>= (bought goods17) (request goods17))
	(>= (bought goods18) (request goods18))
	(>= (bought goods19) (request goods19))
	(>= (bought goods20) (request goods20))
	(>= (bought goods21) (request goods21))
	(>= (bought goods22) (request goods22))
	(at truck0 depot0)))

(:metric minimize (total-cost))
)
